例句與造句

1. Arithmetics are pointed unary systems, whose unary operation is injective successor, and with distinguished element 0.
2. It's difficult to find pointed unary system in a sentence. 用pointed unary system造句挺難的